ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS
نویسندگان
چکیده
Abstract We prove a strengthened version of Shavrukov’s result on the non-isomorphism diagonalizable algebras two $\Sigma _1$ -sound theories, based improvements previously found by Adamsson. then obtain several corollaries to applying it various pairs theories and new examples. In particular, we show that there are no surjective homomorphisms from algebra $(\mathfrak {L}_T, \Box _T\Box _T)$ onto . The case bimodal is also considered. give examples with isomorphic but non-isomorphic algebras.
منابع مشابه
A Representation Theorem for Co-diagonalizable Algebras
This abstract is a summary of a lecture given at the Seminar of the Department of Logic and Methodology of Sciences, Wroc law University, 23 May 1985. The present work refers directly to the investigations of Buszkowski and Prucnal [1] and that of Esakia [2], generalizing their results. Our main representation theorem for co-diagonalizable algebras (Theorem 2) is obtained by application of cert...
متن کاملAn isomorphism theorem for digraphs
A seminal result by Lovász states that two digraphs A and B (possibly with loops) are isomorphic if and only if for every digraph X the number of homomorphisms X → A equals the number of homomorphisms X → B. Lovász used this result to deduce certain cancellation properties for the direct product of digraphs. We develop an analogous result for the class of digraphs without loops, and with weak h...
متن کاملA Classification of Tracially Approximate Splitting Interval Algebras. III. Uniqueness Theorem and Isomorphism Theorem
Motivated by Huaxin Lin’s axiomatization of AH-algebras, the class of TASI-algebras is introduced as the class of unital C*-algebras which can be tracially approximated by splitting interval algebras—certain sub-C*-algebras of interval algebras. It is shown that the class of simple separable nuclear TASI-algebras satisfying the UCT is classified by the Elliott invariant. As a consequence, any s...
متن کاملDiagonalizable Derivations of Finite-dimensional Algebras Ii
When an algebra is graded by a group, any additive character of the group induces a diagonalizable derivation of the ring. This construction is studied in detail for the case of a path algebra modulo relations and its fundamental group. We describe an injection of the character group into the first cohomology group following Assem-de la Peña. Rather general conditions are determined, in this co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Review of Symbolic Logic
سال: 2022
ISSN: ['1755-0211', '1755-0203']
DOI: https://doi.org/10.1017/s1755020322000302